Term rewriting system models of modern microprocessors

Thesis (M.Eng.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 1999.Includes bibliographical references (p. 89).by Lisa A. Poyneer.M.Eng

Experimental Design for the Gemini Planet Imager

The Gemini Planet Imager (GPI) is a high performance adaptive optics system being designed and built for the Gemini Observatory. GPI is optimized for high contrast imaging, combining precise and accurate wavefront control, diffraction suppression, and a speckle-suppressing science camera with integral field and polarimetry capabilities. The primary science goal for GPI is the direct detection and characterization of young, Jovian-mass exoplanets. For plausible assumptions about the distribution of gas giant properties at large semi-major axes, GPI will be capable of detecting more than 10% of gas giants more massive than 0.5 M_J around stars younger than 100 Myr and nearer than 75 parsecs. For systems younger than 1 Gyr, gas giants more massive than 8 M_J and with semi-major axes greater than 15 AU are detected with completeness greater than 50%. A survey targeting young stars in the solar neighborhood will help determine the formation mechanism of gas giant planets by studying them at ages where planet brightness depends upon formation mechanism. Such a survey will also be sensitive to planets at semi-major axes comparable to the gas giants in our own solar system. In the simple, and idealized, situation in which planets formed by either the "hot-start" model of Burrows et al. (2003) or the core accretion model of Marley et al. (2007), a few tens of detected planets are sufficient to distinguish how planets form.Comment: 15 pages, 9 figures, revised after referee's comments and resubmitted to PAS

Coronagraph design for an extreme adaptive optics system with spatially filtered wavefront sensing on segmented telescopes

High dynamic range coronagraphy targeted at discovering planets around nearby stars is often associated with monolithic, unobstructed aperture space telescopes. With the advent of extreme adaptive optics (ExAO) systems with thousands of sensing and correcting channels, the benefits of placing a near-infrared coronagraph on a large segmented mirror telescope become scientifically interesting. This is because increased aperture size produces a tremendous gain in achievable contrast at the same angular distance from a point source at Strehl ratios in excess of 90\% (and at lower Strehl ratios on future giant telescopes such as the Thirty Meter Telescope). We outline some of the design issues facing such a coronagraph, and model a band-limited coronagraph on an aperture with a Keck-like pupil. We examine the purely diffractive challenges facing the eXtreme AO Planetary Imager (XAOPI) given the Keck pupil geometry, notably its inter-segment gap spacing of 6~mm. Classical Lyot coronagraphs, with hard-edged occulting stops, are not efficient enough at suppressing diffracted light, given XAOPI's scientific goal of imaging a young Jupiter at a separation as close as 0.15 arcseconds (4λD at H on Keck) from its parent star. With a 4000 channel ExAO system using an anti-aliased spatially-filtered wavefront sensor planned for XAOPI, we wish to keep diffracted light due to coronagraphic design at least as low as the noise floor set by AO system limitations. We study the band-limited Lyot coronagraph (BLC) as a baseline design instead of the classical design because of its efficient light suppression, as well as its analytical simplicity. We also develop ways of investigating tolerancing coronagraphic mask fabrication by utilizing the BLC design's mathematical tractability